Với p = 2 => 8p²  +1 = 33 (loại)

Với p = 3 => 8p² + 1 = 73 (tm)

Với p > 3 => Đặt p = 3k + 1 ; p = 3k + 2 (k \(\in Z^+\)) 

Với p = 3k + 1 => 8p² + 1 = 8(3k + 1)² + 1 

= 72k² + 48k + 9 = 3(24k² + 16k + 3) \(⋮3\)(loại)

Với p = 3k + 2 => 8p² + 1 = 8(3k + 2)² + 1 

= 72k² + 96k + 33 = 3(24k² + 32k + 11) \(⋮3\)(loại)

Vậy p = 3 thì 8p² + 1 \(\in P\)

- Với \(p=2\) ko thỏa mãn

- Với \(p=3\Rightarrow8p^2+1=73\) là số nguyên tố (thỏa mãn)

- Với \(p>3\Rightarrow p^2\equiv1\left(mod3\right)\)

\(\Rightarrow p^2=3k+1\)

\(\Rightarrow8p^2+1=8\left(3k+1\right)+1=24k+9=3\left(8k+3\right)\) là số lớn hơn 3 và chia hết cho 3

\(\Rightarrow8p^2+1\) là hợp số (ktm)

Vậy \(p=3\) là SNT duy nhất thỏa mãn yêu cầu

Đặt \(a=p^q+7q^p\)

Nếu p; q đều bằng 2 \(\Rightarrow a=2^2+7.2^2\) là hợp số (ktm)

Nếu p; q cùng lớn hơn 2 \(\Rightarrow p^q\) và \(q^p\) đều lẻ

\(\Rightarrow a=p^q+7q^p\) là số chẵn lớn hơn 2 \(\Rightarrow\) là hợp số (ktm)

\(\Rightarrow\) Có đúng 1 số trong p; q phải bằng 2, số còn lại là SNT lẻ

TH1: \(p=2\Rightarrow a=2^q+7.q^2\)

- Nếu \(q=3\Rightarrow a=2^3+7.3^2=71\) là SNT (thỏa mãn)

- Nếu \(q>3\Rightarrow q^2\equiv1\left(mod3\right)\Rightarrow7q^2\equiv1\left(mod3\right)\)

\(2^q=2^{2k+1}=2.4^k\equiv2\left(mod3\right)\)

\(\Rightarrow a=2^q+7.q^2\equiv2+1\left(mod3\right)\Rightarrow a⋮3\) là hợp số (ktm)

TH2: \(q=2\Rightarrow a=p^2+7.2^p\)

- Nếu \(p=3\Rightarrow a=3^2+7.2^3=65\) ko phải SNT (ktm)

- Nếu \(p>3\Rightarrow p^2\equiv1\left(mod3\right)\)

\(7.2^p=7.2^{2k+1}=14.4^k\equiv2\left(mod3\right)\)

\(\Rightarrow p^2+7.2^p⋮3\) là hợp số (ktm)

Vậy \(\left(p;q\right)=\left(2;3\right)\) là cặp SNT duy nhất thỏa mãn yêu cầu

Xét p=2\(\Rightarrow p^4+29=45=3^2.5\), có 6 ước số là SND, loại

Xét p=3\(\Rightarrow p^4+29=110=2.5.11\), có 8 ước số là SND, tm

Xét p=5\(\Rightarrow p^4+29=654=2.3.109\) , có 8 ước số là SND, tm

Xét p\(\ge6\). Do p là SNT nên p có dạng \(6k+1\) hoặc \(6k-1\) (k\(\in N\)*)

TH1: p=6k+1

Khi đó ta có \(p^4+29=\left(6k+1\right)^4+29\equiv1+29\equiv0\left(mod6\right)\)

Ta cũng có: \(p^4+29=\left(6k+1\right)^4+29\equiv0\left(mod5\right)\)

vì \(\left(6k+1\right)⋮5̸\)

\(\Rightarrow p^4+29=6.5.a=2.3.5.a\)(a là STN)\(\Rightarrow p^4+29\) có nhiều hơn 8 ước số  nguyên dương, loại.

TH2: p=6k-1. Chứng minh tương tự ta thấy không có p thoả mãn

\(\Rightarrow p\ge6\) không thoả mãn

Vậy....

\(P=n^3+7n^2+25n+39=\left(n+3\right)\left(n^2+4n+13\right)\)

 Hiển nhiên \(\left\{{}\begin{matrix}n+3>1\\n^2+4n+13>1\end{matrix}\right.\)\(\Rightarrow\left\{{}\begin{matrix}n+3=p^a\\n^2+4n+13=p^b\end{matrix}\right.\) với \(b>a>0\)

\(\Rightarrow\left\{{}\begin{matrix}n+3⋮p\\n^2+4n+13⋮p\end{matrix}\right.\) \(\Rightarrow n^2+4n+13-\left(n+3\right)\left(n+1\right)⋮p\)

\(\Rightarrow10⋮p\Rightarrow\left[{}\begin{matrix}p=2\\p=5\end{matrix}\right.\)

- TH1: \(p=2\Rightarrow n+3=2^a\)

Do n nguyên dương \(\Rightarrow n+3\ge4\Rightarrow a\ge2\Rightarrow2^a⋮4\)

\(\Rightarrow n+3⋮4\Rightarrow n=4k+1\)

Đồng thời \(n^2+4n+13=2^b\), hiển nhiên \(b>2\Rightarrow n^2+4n+13⋮4\)

\(\Rightarrow\left(4k+1\right)^2+4\left(4k+1\right)+13⋮4\)

\(\Rightarrow4k\left(4k+6\right)+18⋮4\) (vô lý) 

\(\Rightarrow p=2\) không thỏa mãn

TH2: \(p=5\) \(\Rightarrow\left\{{}\begin{matrix}n+3=5^a\\n^2+4n+13=5^b\end{matrix}\right.\)  

\(\Rightarrow\left(n+1\right)\left(n+3\right)+10=5^b\)

\(\Rightarrow5^a\left(5^a-2\right)+10=5^b\)

\(\Rightarrow5^{a-1}\left(5^a-2\right)+2=5^{b-1}\)

- Với \(a=1\Rightarrow b=2\)

- Với \(a>1\Rightarrow\) vế trái chia 5 dư 2, vế phải chia hết cho 5

\(\Rightarrow\) Không tồn tại a;b nguyên thỏa mãn

Vậy \(a=1\Rightarrow n=5^1-3=2\)